Nuprl Definition : imax-list
11,40
postcript
pdf
imax-list(
L
) == list_accum(
x
,
y
.imax(
x
;
y
);hd(
L
);tl(
L
))
latex
Definitions
tl(
l
)
,
hd(
l
)
,
imax(
a
;
b
)
,
list_accum(
x
,
a
.
f
(
x
;
a
);
y
;
l
)
FDL editor aliases
imax-list
origin